Co-refinement of fault surfaces : convexification process
نویسندگان
چکیده
منابع مشابه
Rigorous Development of Fault-Tolerant Systems through Co-refinement
With our increasing dependency on computer-based systems, ensuring their dependability becomes one the most important concerns during system development. This is especially true for missionand safety-critical systems. Critical systems typically use fault tolerance mechanisms to mitigate runtime errors. However, fault tolerance modelling and, in particular, rigorous definitions of fault toleranc...
متن کاملFabrication of Saddle-Shaped Surfaces by Flame Forming Process
The flame forming process is widely used to manufacture ship hull plates. The saddle-shaped surfaces have different curvatures in perpendicular angles of planes and the manufacturers face an anti-clastic curvature. In this article, the manufacturing of saddle-shaped surfaces utilizing the flame forming process is investigated. The spiral irradiating scheme is used for forming. In order to study...
متن کاملRefinement-Preserving Co-evolution
Software changes during its lifetime. Likewise, specifications change during their design time, e.g. by removing, adding or changing operations. In a refinement-based approach to software design, we moreover do not deal with a single but with a chain of specifications, related via refinement. Changes thus need to be consistently made to all specifications in the chain so as to keep the refineme...
متن کاملConvexification of Unstructured Grids
Unstructured tetrahedral grids are a common data representation of three-dimensional scalar fields. For convex unstructured meshes efficient rendering methods are known. For concave or cyclic meshes, however, a significant overhead is required to sort the grid cells in back to front order. In this paper we apply methods known from computational geometry to transform concave into convex grids. W...
متن کاملProgressive refinement rendering of implicit surfaces
The visualisation of implicit surfaces can be an inefficient task when such surfaces are complex and highly detailed. Visualising a surface by first converting it to a polygon mesh may lead to an excessive polygon count. Visualising a surface by direct ray casting is often a slow procedure. In this paper we present a progressive refinement renderer for implicit surfaces that are Lipschitz conti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ESAIM: Proceedings
سال: 2008
ISSN: 1270-900X
DOI: 10.1051/proc:2008030